Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
291	A Query Language for Understanding Component Interactions in Production Systems Adam J. Oliner and Alex Aiken Stanford University∗ Department of Computer Science {oliner, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-04-09 04:48:23 Parallel computing Navigation Component-based software engineering Object-oriented programming Software architecture Blue Gene Central processing unit Connected component Global Positioning System Technology Computing Military science
292	The discourse function of object marking in Swahili and Makhuwa narratives Teresa Poeta Proceedings of Conference on Language Documentation and Linguistic Theory 4 Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2014-11-06 08:39:56 Makua languages Languages of Tanzania Bantu languages Makhuwa language Swahili language Grammatical number Word order Mozambique Noun class Linguistics Syntax Languages of Mozambique
293	Precise Reasoning for Programs Using Containers Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:18:41 Abstract data types C++ Standard Library Associative arrays Object-oriented programming Data types Symbol Iterator Container Associative containers Computing Software engineering Computer programming
294	Design and Implementation of Exception Handling for Modelica Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2011-06-28 04:39:13 Application software Computing Modelica Dynamical systems Control theory Dynamic simulation Differential equation Mathematical model Nonlinear system Mathematics Simulation software Object-oriented programming
295	Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization Alachew Shitahun1 Vitalij Ruge2 Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:28:54 Software engineering Software Operations research Modelica Mathematical optimization Control theory JModelica.org Optimal control Model predictive control Simulation software Application software Object-oriented programming
296	Distrib. Comput:367–384 DOIs00446Optimal inter-object correlation when replicating for availability Haifeng Yu · Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-02-15 02:15:24 Algebraic geometry Valuation PP IP Combinatorics Binomial coefficient Mathematics Field theory Applied mathematics
297	A k-Partition, Graph Theoretic Approach to Perceptual Organization Jeffrey Byrne, Avinash Gandhe, Ravi K. Prasanth, B. Ravichandan, Melvyn Huff and Raman K. Mehra, Scientific Systems Company Inc., Woburn, MA, {jbyrne, av Add to Reading List Source URL: www.jeffreybyrne.com Language: English - Date: 2006-11-16 13:58:04 Image processing Segmentation Graph partition Computer vision Cluster analysis Partition Graph theory Eigenvalues and eigenvectors Segmentation-based object categorization Mathematics Algebra Statistics
298	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
299	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
300	Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-06-14 22:31:40 Algebraic geometry Field theory Valuation PP Combinatory logic Assignment Grothendieck topology Lambda calculus Theoretical computer science Abstract algebra Mathematics

UPDATE